Definition and design of strongly language disjoint checkers

机译：强语言脱节检查器的定义和设计

代理获取

本网站仅为用户提供外文OA文献查询和代理获取服务，本网站没有原文。下单后我们将采用程序或人工为您竭诚获取高质量的原文，但由于OA文献来源多样且变更频繁，仍可能出现获取不到、文献不完整或与标题不符等情况，如果获取不到我们将提供退款服务。请知悉。

页面导航

摘要
著录项
引文网络
相似文献
相关主题

摘要

ISSN: 0018-9340

机译：ISSN：0018-9340

著录项

作者
Jansch, I.; Courtois, B.;
展开▼
作者单位

展开▼
年度 1988
总页数
原文格式 PDF
正文语种 en
中图分类

相似文献

外文文献
中文文献
专利

1. Definition and design of strongly language disjoint checkers [J] . Jansch I., Courtois B. IEEE Transactions on Computers . 1988,第6期

机译：强语言脱节检查器的定义和设计
2. Model Checkers - Tools and Languages for System Design - A Survey [J] . Shubha Raj K B, Suryaprasad J Computer Science & Information Technology . 2016,第13期

机译：模型检查器-系统设计的工具和语言-调查
3. Partially strongly fault secure and partially strongly code disjoint 1-out-of-3 code checker [J] . Wang J.Q., Lala P.K. IEEE Transactions on Computers . 1994,第10期

机译：部分严格的故障保护和部分强烈的代码不相交的三选一代码检查器
4. Type Disjointness in the Language of Effective Definitions [C] . Jarred Blount, J. Nelson Rushton International Conference on Foundations of Computer Science . 2011

机译：在有效定义的语言中键入脱节性
5. Standard definitions versus revised definitions: Their effectiveness in understanding word meaning with Chinese adult learners of English as a foreign language. [D] . Wang, Xigu. 2001

机译：标准定义与修订定义：中国成人英语学习者在理解单词含义方面的有效性。
6. Learning Words and Definitions in Two Languages: What Promotes Cross-Language Transfer? [O] . Giang Pham, Danaee Donovan, Quynh Dam, -1

机译：学习两种语言的单词和定义：什么促进了跨语言迁移？
7. Definition and design of strongly language disjoint checkers [O] . Jansch, I., Courtois, B. 1988

机译：强语言不相交检查器的定义和设计
8. Prototyping Metalanguage with Formal Semantics for the Xinotech Program Composer. Phase 1. Task 1. Definition of the Requirements and Objectives for the Design of the Metalanguage XML. Task 3. Definition of the Requirements and Objectives for the Design o [R] . Rivera, R. 1989

机译：为shinotech程序编写器创建具有形式语义的元语言。阶段1.任务1.定义metalanguage XmL的要求和目标。任务3.设计要求和目标的定义o

Definition and design of strongly language disjoint checkers

摘要

著录项

引文网络

相似文献

相关主题

期刊订阅